TSTP Solution File: SET594^5 by CARINE---0.734